fmap :: (a -> b) -> (f a -> f b)